Coherent Banach spaces: a continuous denotational semantics
نویسندگان
چکیده
منابع مشابه
Coherent Banach Spaces: A Continuous Denotational Semantics
We present a denotational semantics based on Banach spaces ; it is inspired from the familiar coherent semantics of linear logic, the role of coherence being played by the norm : coherence is rendered by a supremum, whereas incoherence is rendered by a sum, and cliques are rendered by vectors of norm at most 1. The basic constructs of linear (and therefore intuitionistic) logic are implemented ...
متن کاملCoherent Banach Spaces : a Continuous Denotational Semantics Extended Abstract
We present a denotational semantics based on Banach spaces ; it is inspired from the familiar coherent semantics of linear logic, the role of coherence being played by the norm : coherence is rendered by a supremum, whereas incoherence is rendered by a sum, and cliques are rendered by vectors of norm at most 1. The basic constructs of linear (and therefore intuitionistic) logic are implemented ...
متن کاملStratified coherent spaces: a denotational semantics for Light Linear Logic
We introduce a stratified version of the coherent spaces model where an object is given by a sequence of coherent spaces. The intuition behind it is that each level gives a different degree of precision on the computation, an appearance. A morphism is required to satisfy a coherence condition at each level and this setting gives a model of Elementary Linear Logic. We then introduce a measure fu...
متن کاملCoherent Banach Spaces : Acontinuous
We present a denotational semantics based on Banach spaces ; it is inspired from the familiar coherent semantics of linear logic, the role of coherence being played by the norm : coherence is rendered by a supremum, whereas incoherence is rendered by a sum, and cliques are rendered by vectors of norm at most 1. The basic constructs of linear (and therefore intuitionistic) logic are implemented ...
متن کاملStratified coherence spaces: a denotational semantics for light linear logic
We introduce a stratified version of the coherent spaces model where an object is given by a sequence of coherent spaces. The intuition behind it is that each level gives a different degree of precision on the computation, an appearance. A morphism is required to satisfy a coherence condition at each level and this setting gives a model of Elementary Linear Logic. We then introduce a measure fu...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Theoretical Computer Science
سال: 1999
ISSN: 0304-3975
DOI: 10.1016/s0304-3975(99)00056-0